61. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
62. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
63. Language in cognition :
پدیدآورنده : Cedric Boeckx
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cognitive grammar,Psycholinguistics
رده :
P37
.
B64
2010
64. Language, mathematics, and linguistics
پدیدآورنده : Hochett, Charles Francis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical linguistics,، Generative grammar
رده :
P
123
.
H53
65. Language minority students in American schools :
پدیدآورنده : H.D. Adamson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Education, Bilingual-- United States.,Linguistic minorities-- Education-- United States.,Education, Bilingual.,Linguistic minorities-- Education.,United States., 7
رده :
LC3731
.
A576
2005
66. Leibniz
پدیدآورنده : edited by Marcelo Dascal
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Leibniz, Gottfried Wilhelm,1646-1716,Rationalism
رده :
B2598
.
L45
2008
67. Logic, Language, and Probability :
پدیدآورنده : edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
68. Logic and Language :
پدیدآورنده : by B.H. Kazemier, D. Vuysje.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
69. Logic and Philosophy in the Lvov-Warsaw School
پدیدآورنده : by Jan Wolenski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
70. Logic and its applications :
پدیدآورنده : Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
71. Logic and philosophy of science in Uppsala :
پدیدآورنده : edited by Dag Prawitz, Dag Westerståhl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
رده :
Q174
.
E358
1994
72. Logodaedalus :
پدیدآورنده : Alexander Marr, Raphaële Garrod, José Ramón Marcaida and Richard J. Oosterhoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Language and languages-- Etymology-- Lexicography-- Research.,Language and languages-- Etymology-- Lexicography.,Intellectual life.,Language and languages-- Etymology-- Lexicography.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Etymology.,SCIENCE-- General.,SCIENCE-- Philosophy & Social Aspects.,Europe, Intellectual life.,Europe., 0, 7
رده :
P327
.
M2943
2018
73. Mathematical Foundations of Speech and Language Processing
پدیدآورنده : edited by Mark Johnson, Sanjeev P. Khudanpur, Mari Ostendorf, Roni Rosenfeld.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.,Optical pattern recognition.,Translators (Computer programs).
74. Mathematical Reasoning :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.
رده :
QA9
.
M347
75. Mathematical discourse :
پدیدآورنده : Kay O'Halloran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Halliday, M. A. K., (Michael Alexander Kirkwood),1925-,Halliday, M. A. K., (Michael Alexander Kirkwood),1925-,Mathematics-- Language.,Mathematics, Terminology.,Visualization.,Fachsprache,MATHEMATICS-- History & Philosophy.,Mathematics-- Language.,Mathematics.,Mathematik,Mathematische Linguistik,Symbolik,Visualisierung,Visualization.
رده :
QA42
.
O43
2005eb
76. Mathematical models for speech technology
پدیدآورنده : Stephen E. Levinson,Title
موضوع : Speech processing systems,Computational linguistics,Applied linguistics- Mathematics,Stochastic processes,Knowledge, Theory of
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
77. Mathematical models for speech technology
پدیدآورنده : / Stephen E. Levinson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Speech processing systems,Computational lingusitics,Applied linguistics- Mathematics,Stochastic processes,Knowledge, Theory of
رده :
TK7882
.
S65
,
L48
2005
78. Mathematical models for speech technology
پدیدآورنده : Levinson, Stephen E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Speech processing systems,، Computational linguistics,Mathematics ، Applied linguistics,، Stochastic processes,، Knowledge, Theory of
رده :
TK
7882
.
S65L48
79. Mathematical models for speech technology
پدیدآورنده : / Stephen E. Levinson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Speech processing systems,Computational linguistics,Applied linguistics- Mathematics,Stochastic processes,Knowledge, Theory of
رده :
E-BOOK
80. Mathematical models for speech technology
پدیدآورنده : / Stephen E. Levinson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Speech processing systems,Computational linguistics,Applied linguistics- Mathematics,Stochastic processes,Knowledge, Theory of
رده :
TK7882
.
S65
,
L48
2005
